»Uporaba umetne inteligence je po njenih besedah dobrodošla z določeno mero zadržanosti.«
»Konkretno me zelo zanima umetna inteligenca na področju dokazovanja izrekov, kjer se ukvarjam z 'dokazovalnimi pomočniki' in vprašanjem, kako bi nam računalniki pomagali pri odkrivanju novega matematičnega znanja.«
Kliknite povezavo za prikaz izjav v želenem obdobju